2081. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
2082. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E57
1995
2083. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E56
2084. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic , Logic, Symbolic and mathematical, Semantics
رده :
BC
71
.
E57
1994
2085. The semantic foundations of logic
پدیدآورنده : / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,Logic,symbolic and mathematical,Semantics
رده :
160
E64s
2086. The semantics and proof theory of the logic of bunched implications
پدیدآورنده : Pym, David J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2087. The strange logic of random graphs
پدیدآورنده : Spencer, Joel H.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2001
2088. The strange logic of random graphs
پدیدآورنده : Spencer, Joel H.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2089. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
رده :
QA
9
.
7
.
K68S7
2090. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
2091. The structure of models of Peano arithmetic
پدیدآورنده : Roman Kossak, James H. Schmerl
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
2092. The symbolic computation of integrability structures for partial differential equations /
پدیدآورنده : Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
2093. The technique of theory construction
پدیدآورنده : Woodger, Joseph Henry
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
Q
121
.
I5
Vol
.
2
No
.
5
2094. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
2095. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
2096. The theory of models; proceedings
پدیدآورنده :
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
2097. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
2098. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1949
2099. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1971
2100. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R413
